Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
61	ANNEX TO REPORT ON MATHEMATICS FOR EUROPE June 2016 The online consultation on mathematics was carried out from 29 January to 15 May 2016 by the European Commission Directorate General for Communications Networks, Conten Add to Reading List Source URL: www.math.cas.cz Language: English - Date: 2016-06-15 09:23:00 Academia Applied mathematics Computational science Computing Supercomputing Formal sciences Exascale computing Computational mathematics Mathematics Computer science Algorithm Mathematical optimization
62	1 Chomsky Hierarchy Grammars for each task Add to Reading List Source URL: courses.engr.illinois.edu Language: English - Date: 2013-03-26 15:21:23 Formal languages Grammar Language Cognitive science Formal grammar Noncontracting grammar Regular language Chomsky hierarchy Context-free language LL grammar Indexed grammar Context-sensitive grammar
63	The Threat of Algocracy: Reality, Resistance and Accommodation By John Danaher Forthcoming in Philosophy and Technology Abstract Add to Reading List Source URL: philpapers.org Language: English Cognitive science Academia Cybernetics Science and technology Formal sciences Algorithm Mathematical logic Theoretical computer science Big data Machine learning Legitimacy Artificial intelligence
64	A Comparison of Techniques for Selecting and Combining Class Association Rules Jan-Nikolas Sulzmann and Johannes F¨ urnkranz Department of Computer Science, TU Darmstadt Hochschulstr. 10, DDarmstadt, Germany Add to Reading List Source URL: www.ke.tu-darmstadt.de Language: English - Date: 2009-11-06 11:55:58 Data mining Association rule learning Data management Information science Information technology management Information Formal sciences Machine learning Statistical classification Confidence interval Sequential pattern mining Apriori algorithm
65	THE HOME INFORMATION TERMINAL—A 1970 VIEW John McCarthy Computer Science Department Stanford University Stanford, CA 94305 Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2002-03-26 18:14:37 Computing Software Virtual reality Technology Time-sharing Personal computer User interface Computer file Internet OS Centralized computing
66	Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:37 Formal methods Software engineering Unified Modeling Language Concurrency Concurrency control Construction and Analysis of Distributed Processes Synchronization Theoretical computer science UML tool Mentor Graphics Computing
67	RDP 2015, Jun. 30, 2015, WCMCS, Warsaw. From syntax to semantics of Dependent Type Theories - Formalized by Vladimir Voevodsky Add to Reading List Source URL: rdp15.mimuw.edu.pl Language: English - Date: 2015-07-08 00:48:54 Mathematics Academia Mathematical logic Type theory Abstract algebra Logic in computer science Mathematical structures Formal methods Intuitionistic type theory Expression Lambda calculus Universal algebra
68	Chang-Tien Lu A. Education/Training Georgina Institute of Technology Computer Science University of Minnesota, Twin Cities Computer Science Add to Reading List Source URL: europa.nvc.cs.vt.edu Language: English - Date: 2016-03-22 15:39:45 Data mining Formal sciences Association for Computing Machinery Information science SIGKDD Information technology Computing Temporal information retrieval Vasant Honavar
69	From FOND to Probabilistic Planning: Guiding search for quality policies Alberto Camacho† , Christian Muise∗ , Akshay Ganeshen† , Sheila A. McIlraith† † Department of Computer Science, University of Toronto Dep Add to Reading List Source URL: www.haz.ca Language: English - Date: 2015-05-09 01:33:31 Probability Amyloidosis Logic Formal epistemology Non-classical logic Probabilistic logic Automated planning and scheduling PRNP Markov decision process Planning Domain Definition Language PP
70	Ensuring Agent Properties under Arbitrary Sequences of Incoming Events Stefania Costantini1 , Pierangelo Dell’Acqua2 , Lu´ıs Moniz Pereira3 , and Arianna Tocchio1 1 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-06-08 10:41:46 Philosophy Logic Theoretical computer science Temporal logic Logic in computer science Linear temporal logic Modal logic Causality Formal verification

UPDATE